1

The Uncountable Spectra of Countable Theories

Year:
2000
Language:
english
File:
PDF, 3.31 MB
english, 2000
2

HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM

Year:
2019
Language:
english
File:
PDF, 400 KB
english, 2019
4

Finding the smallest triangles containing a given convex polygon

Year:
1985
Language:
english
File:
PDF, 840 KB
english, 1985
6

CONSTRUCTING MANY ATOMIC MODELS IN ℵ1

Year:
2016
Language:
english
File:
PDF, 302 KB
english, 2016
10

A classification of BL-algebras

Year:
2002
Language:
english
File:
PDF, 184 KB
english, 2002
15

Unique Decomposition in Classifiable Theories

Year:
2002
Language:
english
File:
PDF, 217 KB
english, 2002
16

Unique decomposition in classifiable theories

Year:
2002
Language:
english
File:
PDF, 647 KB
english, 2002
25

DISJOINT AMALGAMATION IN LOCALLY FINITE AEC

Year:
2017
Language:
english
File:
PDF, 296 KB
english, 2017
34

Analytical ion exchange chromatography of proteins

Year:
1982
Language:
english
File:
PDF, 486 KB
english, 1982
40

Generalized ordinal sums and the decidability of BL-chains

Year:
2005
Language:
english
File:
PDF, 254 KB
english, 2005
41

Provability in predicate product logic

Year:
2007
Language:
english
File:
PDF, 228 KB
english, 2007
46

A simpler axiomatization of the Shelah-Spencer almost sure theories

Year:
2007
Language:
english
File:
PDF, 324 KB
english, 2007